conditional proof examples